Reverse Dictionary
examples:
unpleasantly moist,
using pretentious words,
inhabitant of earth
Click words for definitions
Church's theorem primary first logical prime predicate copula mo firstborn pred. be logic premier second log illogical lead conversion logician secondary major primordial superfecta subject original negative beginning principal trivium clause converse convert term erst primal originally maiden number one a alogical particular proto- adjacent trifecta former valid firstling primacy o universal opposition foremost ordinal proposition obverse eldest alpha fore firstly illogic inversion ALU place logistic mode quinella capital vicious circle premiere extreme primo low preposterous minor poetic license irrational traditional logic metalogical Co top Quadragesima contraposition rhyme or reason first base subaltern leadoff Virgin attribute disjunction ourselves precede imprimis predicative acrostic forme feeble-minded sorites cosmos boss FIFO postulate perfecta protopope uppermost rational pred predicable initial linking verb dialectic ordinal number prima facie sixth lemma subjection obdurate brag reciprocating proposition exclusive proposition rhyme analytics invert fallacious hypothetical logicism primogenitor copulate affirmative sublate analytic Po major term complementation at first blush deduce denial firstlins peep Aristotelian logic empirical convertible generic judgment identical proposition given name initially sestina synthetic him us hypothesis start argumentation me disjunctive unfounded verb obvert seamless A one symbolic logic head centripetal quality ground plan dawn mathematical logic middle chop sound chop-logic rate induction deduction propositional calculus apodictic himself y leading headlong assumption to begin with to start with reason exacta tricast orient predicating functional calculus superordination b.o. predicated taxo- EO so primarily should primer induce d swell famous refraction sophistry leader superaltern modality swill declaim prior rationalize first sight fps opening vaunt slick grand dandy progressive sorites connote alogic her primigenial that pukka subalternation modal adjunct mean antecedent super deictic outset logically forename seraph triage millionth alphabetize prejacent equipollent extralogical Low Sunday subcontrary dawning prophase mother tongue springtime topflight centrality stretch law of identity argument trivial first-class them phrase synoptic restriction remote determine hinge class A metalogic right predicate term firsthandness first luff logics ars artium legitimate heuretic subalternate gate array posit come tautology iff complete firstmost seraphic subordinationism first–rate broach primordially rationality epistemology champion diallelus absurd elicit first officer determination identical deontic scope my copulative inverse past false alethiology intuitionism superordinate intention blush denotation premise quantifier postal money order m.o. must going order postal order colossal order primate dialect repugnant hasty first class FFV prerogative LIFO primely bosker FDC extension mezzanine bonzer lieutenant formal logicize opener fresher glance pud a1 World War I physicologic DTL rime sophistication interval conclusion first up ace crack slap-up Prot SFC circle singular ought saltus fuzzy logic in reverse queue gate superior ECL logicless determinant alogism herself starter base sight distribute great freshman debut Ramism deductive diallelon begin berserk positivism top-hole subpredicate enthymeme theorem law of absorption line Alternative Vote single transferable vote oscular predicament inner TTL illegitimate cold defy logic head first first-rater m nor axiom figure Sterling relative honeymoon morning cardinal precise substantive childhood backward praenomen equivalent infer universe partial term metathesis band logistically witcraft transitive paracrostic first-order inverted order ord. x transpose z quiniela conventual precedence other throne first-round financing float nous respectively preliminary headmost barb reactive try one's hand at cardinal bishop at postil bro metis fragment predicate variable infinite proposition compound sentence predicational wish dyadic comprehensive equational consequence quinque voces indefinite term disjunct quantum-logical semantic pregnant precision paradox architectonic Galenian figure schema arithmetic unit reasoned dialectics analytical philosophy theme member repugnance subalternant disparatum contradiction crocodile indesignate connex monogynia radius plastid stand chimera realm undercoat Tarantulidae Cumacea chicken tetrachord rotation cabbling Equisetaceae Ginkgoales try your hand at something Knights Hospitallers examination-in-chief introscan reptilia eurypterid test flight mark master Mason approach lower functional calculus golden hour Syngnathidae frottage Mantispidae complete integral bank toss capuchin order of a reaction Russell, Bertrand calculation irrefutable order hers mine predicatory essential predication simple conversion subject–predicate simple sentence main clause ours quantification drunk philosophy truth-value logic cell convertend fair presuppose explanans concretion enigmatologist conditional alternant universal conversion destructive practical PROLOG subjacent form of forms priority lien International Workingmen's Association flat etch fiscal first half quaaltagh bang–up first-string protoplastic lummy Early Pointed visceral reasonable sentential disorder coextensive fly (or drive) by the seat of one's pants committed exponible headwork obvertend rationalness regress predesignation legitimacy philosophia prima paravant first mover orderly sergeant and incompatible enumeration resolutive community limit mood ratiocinate charisma by galore major premise independent clause primary intention primary cause prima premices concert border first story contrapose commute conjunction imply mathematicize intension some terminal woolly affirmant back first man upper angle fiscal first quarter first–chop logic circuit more mire formerly foregame ladder ribbon conjunct deep unsound climax circuit binary disarticulate chops port formal logic halt criteriology law of transposition rather schematism negate medium train Black Army Limnetis cherub collophore string Bernard of Clairvaux, St sooner social gospel daybook coup double weighing gendarmerie through pre-order crank decussate phacelia mantis transcendentalism anoplotherium inclusive lag victoria sandbag Pestalozzian countersign bet venire facias de novo finite proposition fallacy trichotomy associative amiss ampliative prolepsis fantee thine rest involution minor term theirs itself Riccati dervish Cutter number frontline material logic abstract many-valued ordered order-maker reorder point direction selling order stop–loss order sequel banker's order ordering inductive logic digestion picking restraint order go part shipment gag order buying order part delivery word ord demand formless do D/O substitution instance break minesweeper predesignate inductive accident null consequent existence explicandum ergo prove throughout A1C Big Stoush astern primitively first refusal the Great War first cousin twice removed skookum tip–top on the face of it top-notch topkick clipping first–line transcendental another A/1C begun belting first-line percentile foundershaft first–string fow top sergeant offensive swinging start a family on/at first acquaintance logical operation domain follow legitimately appellation indefinite e case understand topic negation organon parity replication randomness blind collection remotive categorical corollary concrete definitive -logical analogism direct swelling bad cracking first cousin once removed font name Q1 cherry end-to-end special stem-winder zeroth invalid winnow hegelism touchy-feely overlogical analyticity correct methodology poetic licence haphazard tilde Nyaya problematic qualify differentiate genus dilemma explanandum index infinite condition interchangeable logic-chopping breadth colligate fountain fresh top of mind cousin-german kick-ass solid supernacular preoption PFC opening gambit primus inter pares predecease house of the ascendant slap–up starter home/house have to connotation Diodorean disputation gut refinement alliance diode-transistor logic psycho-logic equation logos cross comprehension convince true programming quantity weapon began def admirable top–hole mover ceres first fruits firstcomer make the first move first flight fust imp swollen primary supplier snodger letter mail mate half-life preferential voting differentiation general statement protasis empirically substitution rule contingent flabby maxim obscure position rewire polemical thematic significate qualification categorematic synthetic judgment verbal proposition subaltern opposition apart conversion per accidens inˈtensional Hamiltonism retained object dominican deranged yourself see nuts contrapositive anathema verbal Clause 28 objective complement rigidifier Percomorphi sequence chiasmus enterprise zone Cordaitales Cycadofilicales Sears, Richard Warren mission receiver's certificate broken rhyme deaconess templar chronological Bernoulli's equation succession high Glenn, John fifteen ball lactate Seton, St. Elizabeth Ann perfidy vassal wrangler near henry secondary boycott Pedipalpida batrachia master-at-arms ceratodus sand generalization material calculus home first-rateness Quine orderly cognitive trivia maths tautological set theory Aras midsummer maidenhead a slow start sunup cockcrow explore Mushet steel mortgage protosyllabic five–star christen alpha plus aboriginal first-floor first-half corner aurora hallux refill primity breakthrough introduction tough taste take the chequered flag precisive quantify overclock congruent privative proposition liberal arts contravalid math foreman freshwoman at first sight alpha minus pride of place vantage Ash Wednesday feet-first initiative peace contradictory pure science subalternating patiency icon anticipation canon category confused philosopher different handsel face–plant chiefest clinker Stephen calends bag frostnip without preamble double first
words continue after advertisement
Popular Searches
today from goduniqueuseunfamiliarup tousageunundounlockupdatevomitverbvisualvoiceversionwalkwisdomworldwallwraphelp withwant something really badcan't do somethingwant to know somethingonly care about yourselfwant to do somethinglook up to someoneunrealised talentat the same timeconnected to the internetdo away withprediction made about the futuremissing someonehappynot good enoughamazingget rid ofathleticangryall the timea long wandering journeyas well asa prediction made about the futurea lota short poembashfulbecome dimbalance
Words For "first-order predicate logic"
As you've probably noticed, words for "first-order predicate logic" are listed above. According to the algorithm that drives this word similarity engine, the top 5 related words for "first-order predicate logic" are: Church's theorem, primary, first, logical, and prime. There are 995 other words that are related to or similar to first-order predicate logic listed above. Hopefully the generated list of words for "first-order predicate logic" above suit your needs. If not, you might want to check out Related Words - another project of mine which uses a different technique (not though that it works best with single words, not phrases).
About Reverse Dictionary
The way Reverse Dictionary works is pretty simple. It simply looks through tonnes of dictionary definitions and grabs the ones that most closely match your search query. For example, if you type something like "longing for a time in the past", then the engine will return "nostalgia". The engine has indexed several million definitions so far, and at this stage it's starting to give consistently good results (though it may return weird results sometimes). It acts a lot like a thesaurus except that it allows you to search with a definition, rather than a single word. So in a sense, this tool is a "search engine for words", or a sentence to word converter.
I made this tool after working on Related Words which is a very similar tool, except it uses a bunch of algorithms and multiple databases to find similar words to a search query. That project is closer to a thesaurus in the sense that it returns synonyms for a word (or short phrase) query, but it also returns many broadly related words that aren't included in thesauri. So this project, Reverse Dictionary, is meant to go hand-in-hand with Related Words to act as a word-finding and brainstorming toolset. For those interested, I also developed Describing Words which helps you find adjectives and interesting descriptors for things (e.g. waves, sunsets, trees, etc.).
In case you didn't notice, you can click on words in the search results and you'll be presented with the definition of that word (if available). The definitions are sourced from the famous and open-source WordNet database, so a huge thanks to the many contributors for creating such an awesome free resource.
Special thanks to the contributors of the open-source code that was used in this project: Elastic Search, @HubSpot, WordNet, and @mongodb.
Please note that Reverse Dictionary uses third party scripts (such as Google Analytics and advertisements) which use cookies. To learn more, see the privacy policy.
Recent Queries
The act of being unguardableca+nyou+discrbe+what+a+train+isbuilding+operations+and+works+of+engineering+constructionresident+evil+torentfiber from a coconut huskлуидор+225050+места+схемаcostruziodallara+automobiliпоздравление+ученика+с+отличным+окончанием+четвертиa girl who works very harda girl who worlwhen something is being compared to somethingwoman leaving her dream lifeUnserious fightPlay fighting among siblingsPlay fightingado+tiran+tuntunFight over somethingتلفزيون+شمسDid+you+mean:+'Table'рамка+георгиевская+лентарамка+георгиевская+лента+для+а4+в+хорошем+качествебашкирские+стихотворения+короткиеSex mmsViral mms indianakif+çarkçı+yazısında....Viral mms indiadescargar+Wattpad+para+laptop+apkLesion with blood circulatingGrowth inside body withoit Veins
